Giotto Domain Authors : Haiyang

The Giotto model is a semantic model that describes the communication between periodic time triggered components. It was developed by Thomas Henzinger and his group. It was designed for deterministic and safety critical applications. The main points about the Giotto model are: 1. A Giotto model is composed of one or more modes and each mode is composed of several tasks. 2. For every task, the design specifies a worst case execution time (WCET) which constrains the execution time of that task in the model. 3. Tasks are concurrent and preemptable. 4. Each task may consume some tokens and produce some tokens for other actors or itself, the produced tokens are not available until the end of the task’s deadline. 5. Mode switching includes invoking or terminating some tasks. 6. There are constraints on mode switching, e.g., the states consistency of tasks. More details of the Giotto model may be found at http://www-cad.eecs.berkeley.edu/~giotto.